-
1 automata homomorphism
Большой англо-русский и русско-английский словарь > automata homomorphism
-
2 automata homomorphism
Математика: гомоморфизм автоматов -
3 automata homomorphism
English-Russian scientific dictionary > automata homomorphism
-
4 homomorphism
гомоморфизм, гомоморфное отображение- locally nilpotent homomorphism - locally rigid homomorphism - lower complete homomorphism - lower semicomplete homomorphism - monic homomorphism - retractive homomorphism -
5 automata
ɔ:ˈtɔmətə автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы structural theor of automata ≈ структурная теория автоматов - automata equivalence - automata game - automata homomorphism - automata minimization - collective of automata - composition of automata - list of automata - product of automata - semigroup of automata - superposition of automata - synthesis of automata - theor of automatapl от automatonautomata pl от automatonБольшой англо-русский и русско-английский словарь > automata
-
6 гомоморфизм автоматов
Большой англо-русский и русско-английский словарь > гомоморфизм автоматов
См. также в других словарях:
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
Homomorphism — In abstract algebra, a homomorphism is a structure preserving map between two algebraic structures (such as groups, rings, or vector spaces). The word homomorphism comes from the Greek language: ὁμός (homos) meaning same and μορφή (morphe)… … Wikipedia
Group homomorphism — In mathematics, given two groups ( G , *) and ( H , ·), a group homomorphism from ( G , *) to ( H , ·) is a function h : G → H such that for all u and v in G it holds that: h(u*v) = h(u) h(v) where the group operation on the left hand side of the … Wikipedia
Semigroup — This article is about the algebraic structure. For applications to differential equations, see C0 semigroup. In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup… … Wikipedia
Semigroup action — In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using… … Wikipedia
Semiautomaton — In mathematics and theoretical computer science, a semiautomaton is an automaton having only an input, and no output. It consists of a set Q of states, a set Σ called the input alphabet, and a function T: Q × Σ → Q called the transition function … Wikipedia
Cone (formal languages) — In formal language theory, a cone is a set of formal languages that has some desirable closure properties enjoyed by some well known sets of languages, in particular by the families of regular languages, context free languages and the recursive… … Wikipedia
Abstract family of languages — An abstract family of languages is a grouping of formal languages such that the membership of a language in a given family is proven by its sharing of specific characteristics with the languages already known to be of that family. A family must… … Wikipedia
Context-free language — In formal language theory, a context free language is a language generated by some context free grammar. The set of all context free languages is identical to the set of languages accepted by pushdown automata. Contents 1 Examples 2 Closure… … Wikipedia
Cycle rank — In graph theory, the cycle rank of a directed graph is a digraph connectivity measure proposed first by Eggan and Büchi (Eggan 1963). Intuitively, this concept measures how close a digraph is to a directed acyclic graph (DAG), in the sense that a … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia